30.24/31.97	unsat
