12.18/15.06	unsat
