5.17/6.45	unsat
