24.63/26.21	unsat
