22.45/23.74	unsat
