21.14/22.54	unsat
