18.84/19.60	unsat
