12.28/18.15	unsat
