26.53/27.03	unsat
