18.70/21.60	unsat
