14.86/18.63	unsat
