13.46/15.82	unsat
