19.54/21.90	unsat
