661.01/666.50	unsat
