13.76/15.84	unsat
