1.45/6.13	unsat
