6.08/7.45	unsat
