20.24/22.54	unsat
