87.50/89.33	unsat
