40.86/41.71	unsat
