646.20/648.12	unsat
