14.06/15.46	unsat
