13.66/16.91	unsat
