21.25/23.54	unsat
