13.66/14.63	unsat
