6.45/8.34	unsat
