12.75/14.11	unsat
