12.30/14.96	unsat
