21.14/22.42	unsat
