505.81/507.84	unsat
