13.07/14.96	unsat
