14.76/18.91	unsat
