23.54/26.18	unsat
