25.53/28.39	unsat
