29.06/30.15	unsat
