58.56/68.49	unsat
