326.17/327.24	unsat
