1.04/3.13	unsat
