28.23/28.39	unsat
