323.18/326.07	unsat
