87.73/92.43	unsat
