67.81/68.33	unsat
