28.92/30.44	unsat
