14.06/14.17	unsat
