63.16/67.03	unsat
