6.07/8.45	unsat
