57.30/92.16	unsat
