12.66/14.96	unsat
