12.27/12.30	unsat
