15.36/30.97	unsat
