12.17/12.86	unsat
