23.54/26.32	unsat
