5.66/8.46	unsat
