4.27/6.45	unsat
