39.24/61.33	unsat
