6.06/9.45	unsat
