25.49/27.03	unsat
