5.45/6.45	unsat
