17.96/19.60	unsat
