14.68/16.33	unsat
