68.77/71.23	unsat
