13.36/16.96	unsat
