13.75/14.47	unsat
