19.14/21.60	unsat
