649.59/654.03	unsat
