5.78/6.34	unsat
