13.59/14.46	unsat
