13.75/13.85	unsat
