13.66/14.33	unsat
