88.19/92.19	unsat
