18.74/22.14	unsat
