12.17/13.86	unsat
