6.57/10.45	unsat
