12.18/13.46	unsat
