25.45/27.03	unsat
