24.13/27.53	unsat
