648.87/653.13	unsat
