12.75/14.59	unsat
