13.91/18.63	unsat
