5.78/6.16	unsat
