87.40/87.60	unsat
