326.34/327.05	unsat
