63.05/66.32	unsat
