23.66/29.28	unsat
