13.78/16.75	unsat
