22.45/22.54	unsat
