13.06/14.59	unsat
