25.26/27.53	unsat
