14.75/14.84	unsat
