12.18/12.86	unsat
