28.85/30.39	unsat
