10.15/12.96	unsat
