5.29/6.45	unsat
