23.97/26.89	unsat
