89.20/92.01	unsat
